home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-10-26 | 711 b | 19 lines | [TEXT/$Tcl] |
-
- pid ?fileId?
-
-
- DESCRIPTION
- If the fileId argument is given then it should normally
- refer to a process pipeline created with the open command.
- In this case the pid command will return a list whose ele-
- ments are the process identifiers of all the processes in
- the pipeline, in order. The list will be empty if fileId
- refers to an open file that isn't a process pipeline. If no
- fileId argument is given then pid returns the process iden-
- tifier of the current process. All process identifiers are
- returned as decimal strings.
-
-
- KEYWORDS
- file, pipeline, process identifier
-